#define _CRT_SECURE_NO_WARNINGS
//
//#include <stdio.h>
//
//typedef int longlong;
//
//int main()
//{
//	int n = 0;
//	int i = 0;
//	int sum = 0;
//	int j = 0;
//	scanf("%d", &n);
//	for (i = 1; i <= 100000; i++)
//	{
//		for (j = 1; j <= 100000; j++)
//		{
//			sum = (i * (i + 1)) / 2 - j;
//			if (sum - 2 * j == n)
//			{
//				printf("%d %d ", j,i);
//				return 0;
//			}
//		}
//	}
//
//	return 0;
//}

#include <stdio.h>

int main()
{
	double a, b, c;
	int d, e, f;
	int count = 0;
	scanf("%lf %lf %lf", &a, &b, &c);
	scanf("%d %d %d", &d, &e, &f);
	if (a < 60)
		count++;
	if (b < 60)
		count++;
	if (c < 60)
		count++;
	if (count >= 2)
		printf("FAIL\n");
	else
		printf("PASS\n");
	if ((a * d + b * e + c * f) / (d + e + f) >= 60)
		printf("PASS\n");
	else
		printf("FAIL\n");


	return 0;
}